Skip to content

Ispravka split pravila#3

Open
4eyes4u wants to merge 1 commit intomatfvi:masterfrom
4eyes4u:patch-1
Open

Ispravka split pravila#3
4eyes4u wants to merge 1 commit intomatfvi:masterfrom
4eyes4u:patch-1

Conversation

@4eyes4u
Copy link

@4eyes4u 4eyes4u commented Jun 1, 2020

U postojećoj implementaciji se u skupu D vrši zamena sa literalom "l" umesto "izabrani". Literal "l" zapravo predstavlja neki od elemenata prilikom iteriranja kroz D i kao takav ne mora biti onaj koji treba menjati.

Ukoliko se pokrene na primeru [[-4, 1], [4, -1], [-3, 2], [3, -2], [4, 3], [-3, -4]] dobija se da su sve promenljive True što nije tačno jer tada poslednja klauza nije zadovoljena.

U postojećoj implementaciji se u skupu D vrši zamena sa literalom "l" umesto "izabrani". Literal "l" zapravo predstavlja neki od elemenata prilikom iteriranja kroz D i kao takav ne mora biti onaj koji treba menjati.

Ukoliko se pokrene na primeru [[-4, 1], [4, -1], [-3, 2], [3, -2], [4, 3], [-3, -4]] dobija se da su sve promenljive True što nije tačno jer tada poslednja klauza nije zadovoljena.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant