boolean |
UnfoldingAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
UnfoldingAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
McMillanAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
McMillanAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
IAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
Compare two local configurations.
|
boolean |
IAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
Compare two local configurations.
|
boolean |
EsparzaAdequateTotalOrderForSafeSystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
EsparzaAdequateTotalOrderForSafeSystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
EsparzaAdequateOrderForArbitrarySystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |
boolean |
EsparzaAdequateOrderForArbitrarySystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) |