public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }